Enderton, H. B.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Elements of Set Theory || CARDINAL NUMBERS AND THE AXIOM OF CHOICE

Enderton, Herbert B.

Year:

1977

Language:

english

File:

PDF, 3.19 MB

english, 1977

2

Introduction to Metamathematics.by Stephen Cole Kleene

Review by: H. B. Enderton

Journal:

Journal of Symbolic Logic

Year:

1973

Language:

english

File:

PDF, 93 KB

english, 1973

3

In Memoriam: Alonzo Church, 1903-1995

Journal:

Bulletin of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 108 KB

english, 1995

4

Devlin Keith. The joy of sets. Fundamentals of contemporary set theory. Second edition of XLVI419. Undergraduate texts in mathematics. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, x + 192 pp.

Enderton, H. B.

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 299 KB

english, 1994

5

Alonzo Church and the Reviews

Journal:

Bulletin of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 236 KB

english, 1998

6

The unique existential quantifier

Journal:

Archive for Mathematical Logic

Year:

1970

Language:

english

File:

PDF, 153 KB

english, 1970

7

Elements de la Recherche Operationnelle. Expose succinct des methodes, enrichi de 50 exercices et problemes, presque tous resolus, et de 10 programmes en langage symboliqueby Robert Faure; Nicole-Sylvie Guillot LeGarff; Manue Bloch

Review by: H. B. Enderton

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 220 KB

english, 1970

8

An Introduction to Modal Logic.by G. E. Hughes; M. J. Cresswell

Review by: H. B. Enderton

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 103 KB

english, 1972

9

Elements of Set Theory || AXIOMS AND OPERATIONS

Enderton, Herbert B.

Year:

1977

Language:

english

File:

PDF, 1.31 MB

english, 1977

10

Elements of Set Theory || RELATIONS AND FUNCTIONS

Enderton, Herbert B.

Year:

1977

Language:

english

File:

PDF, 2.22 MB

english, 1977

11

Hodges Wilfrid. Elementary predicate logic. Handbook of philosophical logic, Volume I, Elements of classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 164, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, pp. 1–131.

Enderton, H. B.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 759 KB

english, 1989

12

Hierarchies Over Recursive Well-Orderings

Herbert Enderton and David Luckham

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 554 KB

english, 1964

13

Elements of Set Theory || ORDINALS AND ORDER TYPES

Enderton, Herbert B.

Year:

1977

Language:

english

File:

PDF, 2.51 MB

english, 1977

14

Elements of Set Theory || CONSTRUCTION OF THE REAL NUMBERS

Enderton, Herbert B.

Year:

1977

Language:

english

File:

PDF, 2.70 MB

english, 1977

15

Elements of Set Theory || ORDERINGS AND ORDINALS

Enderton, Herbert B.

Year:

1977

Language:

english

File:

PDF, 3.22 MB

english, 1977

16

A Note on the Hyperarithmetical Hierarchy

H. B. Enderton and Hilary Putnam

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 290 KB

english, 1970

17

Independence of a Strong Axiom of Choice.by Shaligram Singh

Review by: H. B. Enderton

Journal:

Journal of Symbolic Logic

Year:

1973

Language:

english

File:

PDF, 93 KB

english, 1973

18

A Bridge to Advanced Mathematics.by Dennis Sentilles

Review by: H. B. Enderton

Journal:

Journal of Symbolic Logic

Year:

1976

Language:

english

File:

PDF, 99 KB

english, 1976

19

One Equation to Rule Them all.by Martin Davis

Review by: H. B. Enderton

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 110 KB

english, 1972

20

[IEEE COMPCON '94 - San Francisco, CA, USA (28 Feb.-4 March 1994)] Proceedings of COMPCON '94 - Computer graphics for Jurassic Park

Year:

1994

Language:

english

File:

PDF, 143 KB

english, 1994

21

Davis Martin. One equation to rule them all. Transactions of the New York Academy of Sciences, ser. 2 vol. 30 no. 6 (1968), pp. 766–773.

Enderton, H. B.

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 110 KB

english, 1972

22

Introduction to Logicby Patrick Suppes

Review by: H. B. Enderton

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 246 KB

english, 1999

23

Harrington L. A., Morley M. D., S̆c̆edrov A., and Simpson S. G.. Introduction. Harvey Friedman's research on the foundations of mathematics, edited by Harrington L. A., Morley M. D., Ščedrov A., and Simpson S. G., Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. vii–xii.

Enderton, H. B.

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 1.16 MB

english, 1990

24

Davis Martin D., Sigal Ron, and Weyuker Elaine J.. Computability, complexity, and languages. Fundamentals of theoretical computer science. Second edition of LII 293. Computer science and scientific computing. Academic Press, Boston, San Diego, New York, etc., 1994, xix + 609 pp.

Enderton, H. B.

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 256 KB

english, 1996

25

[ACM Press Symposium on Interactive 3D Graphics and Games - San Francisco, California (2011.02.18-2011.02.20)] Symposium on Interactive 3D Graphics and Games on - I3D '11 - Colored stochastic shadow maps

McGuire, Morgan, Enderton, Eric

Year:

2011

Language:

english

File:

PDF, 7.96 MB

english, 2011

26

[ACM Press Symposium on Interactive 3D Graphics and Games - San Francisco, California (2011.02.18-2011.02.20)] Symposium on Interactive 3D Graphics and Games on - I3D '11 - A local image reconstruction algorithm for stochastic rendering

Shirley, Peter, Aila, Timo, Cohen, Jonathan, Enderton, Eric, Laine, Samuli, Luebke, David, McGuire, Morgan

Year:

2011

Language:

english

File:

PDF, 2.45 MB

english, 2011

27

Gödel's incompleteness theorem.by Vladimir A. Uspensky

Review by: H. B. Enderton

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 108 KB

english, 1995

28

Richard L. Epstein. Classical mathematical logic. The semantic foundations of logic. With contributions by Lesław W. Szczerba. Princeton University Press, Princeton and Oxford, 2006, xxii + 522 pp.

Enderton, H. B.

Journal:

Bulletin of Symbolic Logic

Year:

2007

Language:

english

File:

PDF, 64 KB

english, 2007

29

Computability Theory || Polynomial-Time Computability

Enderton, Herbert B.

Year:

2011

Language:

english

File:

PDF, 157 KB

english, 2011

30

Computability Theory || Connections to Logic

Enderton, Herbert B.

Year:

2011

Language:

english

File:

PDF, 165 KB

english, 2011

31

Elements of Set Theory || INTRODUCTION

Enderton, Herbert B.

Year:

1977

Language:

english

File:

PDF, 1.47 MB

english, 1977

32

Elements of Set Theory || SPECIAL TOPICS

Enderton, Herbert B.

Year:

1977

Language:

english

File:

PDF, 1.83 MB

english, 1977

33

Elements of Set Theory || NATURAL NUMBERS

Enderton, Herbert B.

Year:

1977

Language:

english

File:

PDF, 1.73 MB

english, 1977

34

Computability Theory || Recursive Enumerability

Enderton, Herbert B.

Year:

2011

Language:

english

File:

PDF, 183 KB

english, 2011

35

Finite Partially-Ordered Quantifiers

Herbert B. Enderton

Journal:

Mathematical Logic Quarterly

Year:

1970

Language:

english

File:

PDF, 264 KB

english, 1970

36

Degrees of computational complexity

Journal:

Journal of Computer and System Sciences

Year:

1972

Language:

english

File:

PDF, 316 KB

english, 1972

37

Stochastic Transparency

Enderton, E., Sintorn, E., Shirley, P., Luebke, D.

Journal:

IEEE Transactions on Visualization and Computer Graphics

Year:

2011

Language:

english

File:

PDF, 678 KB

english, 2011

38

Constructible β-models

Enderton, Herbert B.

Journal:

Mathematical Logic Quarterly

Year:

1973

Language:

english

File:

PDF, 390 KB

english, 1973

39

[ACM Press the ACM SIGGRAPH/EUROGRAPHICS conference - Los Angeles, California (2005.07.30-2005.07.31)] Proceedings of the ACM SIGGRAPH/EUROGRAPHICS conference on Graphics hardware - HWWS '05 - GPU-accelerated high-quality hidden surface removal

Wexler, Daniel, Gritz, Larry, Enderton, Eric, Rice, Jonathan

Year:

2005

Language:

english

File:

PDF, 743 KB

english, 2005

40

An Infinitistic Rule of Proof

Journal:

Journal of Symbolic Logic

Year:

1967

Language:

english

File:

PDF, 498 KB

english, 1967

41

Gambling with Truth. An Essay on Induction and the Aims of Science.by Isaac Levi

Review by: H. B. Enderton

Journal:

Journal of Symbolic Logic

Year:

1976

Language:

english

File:

PDF, 68 KB

english, 1976

42

A Class of Models for Second Order Arithmeticby A. Mostowski;Formal System of Analysis Based on an Infinitistic Rule of Proofby A. Mostowski

Review by: H. B. Enderton

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 392 KB

english, 1969

43

Separable Theoriesby A. Ehrenfeucht

Review by: H. B. Enderton

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 214 KB

english, 1969

44

Theory of Provable Recursive Functionsby Patrick C. Fischer

Review by: H. B. Enderton

Journal:

Journal of Symbolic Logic

Year:

1967

Language:

english

File:

PDF, 207 KB

english, 1967

45

Automation Cybernetics and Societyby F. H. George

Review by: H. B. Enderton

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 211 KB

english, 1971

46

A Visual-Matrix Method for Minimizing Boolean Functionsby A. D. Zakrevskii

Review by: H. Enderton

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 211 KB

english, 1971

47

On a Theorem Equivalent to Post's Fundamental Theorem of Recursive Function Theoryby Albert A. Mullin

Review by: H. B. Enderton

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 226 KB

english, 1971

48

An Application of Electric Circuits in Mathematical Logicby Chen Chuan Chong

Review by: H. Enderton

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 208 KB

english, 1970

49

On the Algebraic Manipulation of Majority Logicby Sheldon B. Akers,

Review by: H. B. Enderton

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 212 KB

english, 1971

50

Boolean Matrices and Logic.by F. D. Parker;Linear Algebra with Applications Including Linear Programming.by Hugh G. Campbell

Review by: H. B. Enderton

Journal:

Journal of Symbolic Logic

Year:

1975

Language:

english

File:

PDF, 105 KB

english, 1975